Path Feasibility Analysis of BPEL Processes under Dead Path Elimination Semantics
نویسندگان
چکیده
منابع مشابه
On Dead Path Elimination in Decentralized Process Executions
There has been a great deal of interest in recent years in the use of service oriented approach and relevant standards to implement business processes. Following the concepts of workflow-based process management, the major focus has been on service composition. Not surprisingly, this default composition approach suffers from the limitations of centralized workflow management. It is well recogni...
متن کاملPath Semantics
Knowledge of order of evaluation of expressions is useful for compile-time optimizations for lazy sequential functional programs. We present path semantics, a non-standard semantics that describes order of evaluation for a first-order functional language with lazy evaluation. We also provide an effective abstraction of path semantics that provides compile-time information. We show how path sema...
متن کاملPath Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this problem, including its undecidability in the general case and decidability of some special cases. In the context of test-case generation, we are interested in an efficient finite model finding method for string constrain...
متن کاملPath feasibility and modification
Kinematic feasibility of a planned robot path is restrained by the kinematic constraints of the robot executing the task, such as workspace, configuration, and singularity. Since these kinematic constraints can be described utilizing the geometry of the given robot, corresponding regions within the robot workspace can be expressed in geometrical representation. Consequently, geometric informati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2016
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2015edp7121